Synchronous Equivalence: Formal Methods for Embedded Systems
by Harry Hsieh,Felice Balarin,Alberto L. Sangiovanni-Vincentelli
ISBN 13: 9780792372622
Format: Hardcover (136 pages) Publisher: Springer Published: 31 Dec 2000
Save for later